Formal group

Results: 428



#Item
71Earth / Cleantech Group / Cleantech Finland / Environmental technology / Clean technology / CONNECT

FOR IMMEDIATE RELEASE: February 18, 2014 Contact: Kate PlourdNECEC Announces Formal Alliance with Cleantech Open Northeast and New Initiative to Accelerate Region-wide Cleante

Add to Reading List

Source URL: www.necec.org

Language: English - Date: 2014-08-19 11:57:58
72Homological algebra / Galois theory / Cohomology theories / Algebraic geometry / Crystalline cohomology / P-adic Hodge theory / Étale cohomology / P-adic number / Lubin–Tate formal group law / Abstract algebra / Algebra / Algebraic number theory

Yves Andr´ e ENS Paris Semicontinuity of some Newton polygons Pierre Berthelot Universit´e de Rennes D-perfect crystalline complexes Let k be a perfect field of characteristic p, W its ring of Witt vectors, let X

Add to Reading List

Source URL: www.ms.u-tokyo.ac.jp

Language: English - Date: 2007-09-05 05:10:05
73Software development process / Software engineering / Specification / CEZ Group / Formal specification / Technology / Ethology / Formal methods / Science / Methodology

dD5.2 Detailed specification and development of demonstration activities

Add to Reading List

Source URL: grid4eu.blob.core.windows.net

Language: English - Date: 2015-03-13 12:33:35
74Business intelligence / Cloud infrastructure / Formal sciences / Emerging technologies / Database management systems / Apache Hadoop / Unstructured data / Big data / Analytics / Computing / Technology / Concurrent computing

Enterprise Strategy Group I Getting to the bigger truth. ESG Lab Review Report Summary

Add to Reading List

Source URL: hadapt.com

Language: English - Date: 2013-12-03 13:58:50
75Software engineering / Syntax / Parsing expression grammar / LL parser / LALR parser / Parser combinator / Recursive descent parser / Compiler-compiler / LR parser / Formal languages / Programming language implementation / Parsing

Practical Dynamic Grammars for Dynamic Languages Lukas Renggli Stéphane Ducasse Software Composition Group,

Add to Reading List

Source URL: bergel.eu

Language: English - Date: 2010-06-09 14:52:30
76Academia / Coimbra Group / University of Groningen / Formal epistemology / Philosophy of science / Utrecht University / Probabilistic logic / Columbia University Department of Philosophy / Epistemology / Knowledge / Science

CURRICULUM VITAE  Jan‐Willem Romeijn      Oude Boteringestraat 52, 9712 GL, Groningen, the Netherlands   +31‐50‐3636 148      http://www.philos.rug.nl/~romeyn 

Add to Reading List

Source URL: www.philos.rug.nl

Language: English - Date: 2014-09-16 04:51:36
77Computing / Business intelligence / Emerging technologies / Benchmarking / Strategic management / Benchmark / Big data / MapReduce / Analytics / Technology / Formal sciences / Data management

Introducing the SPEC Research Group on Big Data Mission The mission of the Research Group on Big Data is to facilitate research in performance methodologies for benchmarking Big Data systems by engaging industry and acad

Add to Reading List

Source URL: icpe2015.ipd.kit.edu

Language: English - Date: 2015-03-03 04:32:57
78Formal sciences / International Conference on Logic Programming / CiteSeer / Computer science / Programming language / Logic / International Chinese Language Program / Academia / Science / Knowledge

facultad de inform´ atica universidad polit´ecnica de madrid CLIP Group Publications by Topic The CLIP Group

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2015-06-05 06:02:09
79Australia / Gurindji people / Division of Lingiari / Members of the Australian House of Representatives / Vincent Lingiari / Kalkarindji /  Northern Territory / Warren Snowdon / Indigenous Australians / Vestey Group / Indigenous peoples of Australia / Aboriginal land rights in Australia / Politics of Australia

Remarkable photos recall Wave Hill handover Rob Wesley-Smith was one of the few people present with a camera to capture the key gesture of the formal hand-back of 3236 sq km of Gurindji lands in the Northern Terrritory t

Add to Reading List

Source URL: territorystories.nt.gov.au

Language: English - Date: 2014-11-23 21:48:39
80Knowledge representation / Information science / Semantic Web / Knowledge engineering / Formal ontology / WordNet / Upper ontology / OBO Foundry / Ontology / Science / Information

Rivière or Fleuve? Modelling Multilinguality in the Hydrographical Domain Guadalupe Aguado-de-Cea, Asunción Gómez-Pérez, Elena Montiel-Ponsoda, and Luis M. Vilches-Blázquez Ontology Engineering Group Dpto. de Inteli

Add to Reading List

Source URL: sunsite.informatik.rwth-aachen.de

Language: English - Date: 2010-04-20 12:39:24
UPDATE